$\forall$$f$:Top, $L$:Top List. $\parallel$map($f$;$L$)$\parallel$ $\sim$ $\parallel$$L$$\parallel$